/*
 * Util.h
 *
 *  Created on: Apr 30, 2012
 *      Author: kobe
 */

#ifndef UTIL_H_
#define UTIL_H_

#include <string>
#include "Proposition.h"
#include "AtomicProposition.h"
#include "BlackDiamond.h"
#include "Square.h"
#include "Conjunction.h"
#include "Disjunction.h"
#include "Top.h"
#include "Bottom.h"
#include "AtomicAction.h"
#include "Monoid.h"
#include "Update.h"
#include "After.h"
#include <iostream>
#include <cstdlib>
#include <vector>

Proposition* createProposition(std::string input);

std::string getBracketContent(std::string input, size_t* start, size_t* end);

std::string skipBracket(std::string input);

#endif /* UTIL_H_ */
